A Formal Tool for Verification of Probabilistic Spiking Neural Networks Based on Quotient Abstractions

Spiking Neural Networks (SNNs) model biological neural dynamics more faithfully than classical artificial networks, but their stochastic, event-driven computation – rooted in ion-channel noise and unreliable synaptic vesicle release – demands probabilistic models for which deterministic abstractio…